#include <sys/kernel.h>

const char* Kernel::KVERSION ="bz-00.001"; // major_version[hex].minor_version[bin]
const char* Kernel::KMSG_BANNER = \
						"888                 888                                         888 \n"\
						" 888                 888                                         888 \n" \
						" 888                 888                                         888 \n" \
						" 88888b. 88888888    888  888  .d88b.  888d888 88888b.   .d88b.  888 \n" \
						" 888 \"88b   d88P     888 .88P d8P  Y8b 888P\"   888 \"88b d8P  Y8b 888 \n" \
						" 888  888  d88P      888888K  88888888 888     888  888 88888888 888 \n" \
						" 888 d88P d88P       888 \"88b Y8b.     888     888  888 Y8b.     888 \n" \
						" 88888P\" 88888888    888  888  \"Y8888  888     888  888  \"Y8888  888 \n";
